Dynamics of Silent Universes

We investigate the local non--linear dynamics of irrotational dust with vanishing magnetic part of the Weyl tensor, $H_{ab}$. Once coded in the initial conditions, this dynamical restriction is respected by the relativistic evolution equations. Thus, the outcome of the latter are {\it exact solutions} for special initial conditions with $H_{ab}=0$, but with no symmetries: they describe inhomogeneous triaxial dynamics generalizing that of a fluid element in a Tolman--Bondi, Kantowski--Sachs or Szekeres geometry. A subset of these solutions may be seen as (special) perturbations of Friedmann models, in the sense that there are trajectories in phase--space that pass arbitrarily close to the isotropic ones. We find that the final fate of ever--expanding configurations is a spherical void, locally corresponding to a Milne universe. For collapsing configurations we find a whole family of triaxial attractors, with vanishing local density parameter $\Omega$. These attractors locally correspond to Kasner vacuum solutions: there is a single physical configuration collapsing to a degenerate {\it pancake}, while the generic configuration collapses to a triaxial {\it spindle} singularity. These {\it silent universe} models may provide a fair representation of the universe on super horizon scales. Moreover, one might conjecture that the non--local information carried by $H_{ab}$ becomes negligible during the late highly non--linear stages of collapse, so that the attractors we find may give all of the relevant expansion or collapse configurations of irrotational dust.Comment: 40 pages with 4 figures, compressed and uuencoded PostScript file, submitted to ApJ, SISSA preprint Ref. 85/94/

Innovative Rotman lens setup for extended scan range array antennas

The aim of this work is to design a smart and cost effective 24 GHz Short Range Radar (SRR) array antenna system for automotive applications. The beam forming network consists of a hybrid solution including an analog phase shifter, realized with a Rotman lens, and an additional digital phase shifting stage on array side allowing to select between two states, and consequently to enhance the scan angle. This paper will demonstrate that this new concept allows to double the scanning capability of the array with respect to a design employing only the Rotman lens

Compact Extended Scan Range Antenna Array based on Rotman Lens

This article proposes an innovative method for extending the scan range of phased arrays based on Rotman lens by a factor two. The main objective is to take advantage of the performance of the Rotman lens as beamforming network, resolving its intrinsic increase of phase error and coupling losses when wide scan angles are required. The proposed concept aims to overcome these limitations by introducing the combination of two specific operations called “complete beam shifting (CBS)” and “beam mirroring (BM).” The described technique is applied to a 24 GHz scanning array antenna system, designed and manufactured by taking into consideration fabrication and related cost issues. Finally, the proposed concept has been validated through measurements

Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm

From formal and practical analysis, we identify new challenges that self-adaptive systems pose to the process of quality assurance. When tackling these, the effort spent on various tasks in the process of software engineering is naturally re-distributed. We claim that all steps related to testing need to become self-adaptive to match the capabilities of the self-adaptive system-under-test. Otherwise, the adaptive system's behavior might elude traditional variants of quality assurance. We thus propose the paradigm of scenario coevolution, which describes a pool of test cases and other constraints on system behavior that evolves in parallel to the (in part autonomous) development of behavior in the system-under-test. Scenario coevolution offers a simple structure for the organization of adaptive testing that allows for both human-controlled and autonomous intervention, supporting software engineering for adaptive systems on a procedural as well as technical level.Comment: 17 pages, published at ISOLA 201

The ARC-EN-CIEL radiation sources

MOPC005International audienceThe ARC-EN-CIEL (Accelerator-Radiation for Enhanced Coherent Intense Extended Light) project proposes a panoply of light sources for the scientific community on a 1 GeV superconducting LINAC (phase 2) on which two ERL loops (1 and 2 GeV) are added in phase 3. LEL1 (200-1.5 nm), LEL2 (10-0.5 nm) and LEL4 (2-0.2 nm) are three kHz High Gain Harmonic Generation Free Electron Laser sources seeded with the High order Harmonics generated in Gas, with 100-30 FWHM pulses. A collaboration, which has been set-up with the SCSS Prototype Accelerator in Japan to test this key concept of ARC-EN-CIEL, has led to the experimental demonstration of the seeding with HHG and the observation up the 7th non linear harmonic with a seed at 160 nm. LEL3 (40-8 nm) installed on the 1 GeV loop is a MHz FEL oscillator providing higher average power and brilliance. In addition, in vacuum undulator spontaneous emission source extend the spectral range above 10 keV and intense THz radiation is generated by edge radiation of bending magnets. Optimisations and light sources characteristics are described

Uniqueness of the gauge invariant action for cosmological perturbations

In second order perturbation theory different definitions are known of gauge invariant perturbations in single field inflationary models. Consequently the corresponding gauge invariant cubic actions do not have the same form. Here we show that the cubic action for one choice of gauge invariant variables is unique in the following sense: the action for any other, non-linearly related variable can be brought to the same bulk action, plus additional boundary terms. These boundary terms correspond to the choice of hypersurface and generate extra, disconnected contributions to the bispectrum. We also discuss uniqueness of the action with respect to conformal frames. When expressed in terms of the gauge invariant curvature perturbation on uniform field hypersurfaces the action for cosmological perturbations has a unique form, independent of the original Einstein or Jordan frame. Crucial is that the gauge invariant comoving curvature perturbation is frame independent, which makes it extremely helpful in showing the quantum equivalence of the two frames, and therefore in calculating quantum effects in nonminimally coupled theories such as Higss inflation.Comment: 27 page

Regular second order perturbations of binary black holes: The extreme mass ratio regime

In order to derive the precise gravitational waveforms for extreme mass ratio inspirals (EMRI), we develop a formulation for the second order metric perturbations produced by a point particle moving in the Schwarzschild spacetime. The second order waveforms satisfy a wave equation with an effective source build up from products of the first order perturbations and its derivatives. We have explicitly regularized this source at the horizon and at spatial infinity. We show that the effective source does not contain squares of the Dirac's delta and that perturbations are regular at the particle location. We introduce an asymptotically flat gauge for the radiation fields and the $\ell=0$ mode to compute explicitly the (leading) second order $\ell=2$ waveforms in the headon collision case. This case represents the first completion of the radiation reaction program self-consistently.Comment: 28 pages, no figur

ERL Scheme for Compton Polarised Positron Sources

International audienceOne of the main challenges for the future linear colliders projects (ILC and CLIC) is to design an efficient positron source taking into account the constraints imposed by the target heating. At present, different schemes have been analysed to produce high energy gammas and to convert them in an amorphous target. One of them considers the possibility to boost the energy of the backscattered photons of a laser pulse by Compton effect. This method is very attractive since the source is independent from the main Linac and since the photon helicity is conserved in Compton scattering and subsequently transferred to the produced pairs. This allows the physics experiments disposing of both positron and electron polarised sources. Different schemes have been proposed to provide the electron beam for the Compton collisions. taking into account the constraint imposed by the low value of the Thomson cross section. One of the explored possibilities is to design an ERL with relatively low repetition frequency, high charge per pulse and then to stack the produced positrons in an accumulation ring. Different considerations on this scheme will be illustrated and the main constraints discussed. MO6RFP06

The Hubble rate in averaged cosmology

The calculation of the averaged Hubble expansion rate in an averaged perturbed Friedmann-Lemaitre-Robertson-Walker cosmology leads to small corrections to the background value of the expansion rate, which could be important for measuring the Hubble constant from local observations. It also predicts an intrinsic variance associated with the finite scale of any measurement of H_0, the Hubble rate today. Both the mean Hubble rate and its variance depend on both the definition of the Hubble rate and the spatial surface on which the average is performed. We quantitatively study different definitions of the averaged Hubble rate encountered in the literature by consistently calculating the backreaction effect at second order in perturbation theory, and compare the results. We employ for the first time a recently developed gauge-invariant definition of an averaged scalar. We also discuss the variance of the Hubble rate for the different definitions.Comment: 12 pages, 25 figures, references added, clarity improved, frame switching subtlety fixed, results unchanged, v3 minor typos fixe

A Logical Verification Methodology for Service-Oriented Computing

We introduce a logical verification methodology for checking behavioural properties of service-oriented computing systems. Service properties are described by means of SocL, a branching-time temporal logic that we have specifically designed to express in an effective way distinctive aspects of services, such as, e.g., acceptance of a request, provision of a response, and correlation among service requests and responses. Our approach allows service properties to be expressed in such a way that they can be independent of service domains and specifications. We show an instantiation of our general methodology that uses the formal language COWS to conveniently specify services and the expressly developed software tool CMC to assist the user in the task of verifying SocL formulae over service specifications. We demonstrate feasibility and effectiveness of our methodology by means of the specification and the analysis of a case study in the automotive domain